import random
import string

s = random.sample('0123456789ABCDEF', 12)
for i in range(5):
	s.insert((5 - i) * 2, ':')

print ''.join(s)
